<?php

function formatiereDatum($datum) {
	global $sprache;
	if ($sprache=="english") return str_replace("+0200","",$datum);
	else {
		list ($wtag, $tag, $monat, $jahr, $zeit, $zeitzone) = explode(" ", $datum);
		list ($stunde,$minute,$sekunde) = explode(":", $zeit);
		$wtag = str_replace(",","",$wtag);
		$monat = formatiereMonat($monat);
		$wtag = formatiereTag($wtag);
		return $wtag.", ".$tag." ".$monat." ".$jahr." ".$zeit;			
	}
}
	
function formatiereTag($tag) {
	switch($tag) {
		case "Mon": return Mon;
		case "Tue": return Tue;
		case "Wen": return Wen;
		case "Thu": return Thu;
		case "Fri": return Fri;
		case "Sat": return Sat;
		case "Sun": return Sun;				
	}
}
	
function formatiereMonat($monat) {
	switch($monat) {
		case "Jan": return Jan;
		case "Feb": return Feb;
		case "Mar": return Mar;
		case "Apr": return Apr;
		case "May": return May;
		case "Jun": return Jun;
		case "Jul": return Jul;
		case "Aug": return Aug;
		case "Sep": return Sep;
		case "Oct": return Oct;
		case "Nov": return Nov;
		case "Dec": return Dec;
	}
}
	
?>